class start {
  __attribute__ ((annotate ("an annotation"))) int field;
};
